Introduction 1 P. D. Magnus and Jacob Busch 1. Form-driven vs. Content-driven Arguments for Realism 8 Juha Saatsi 2. Optimism about the Pessimistic Induction 29 Sherrilyn Roush 3. Metaphysics between the Sciences and Philosophies of Science 59 Anjan Chakravartty 4. Nominalism and Inductive Generalizations 78 Jessica Pfeifer 5. Models and Scientific Representations 94 Otávio Bueno 6. The Identical Rivals Response to Underdetermination 112 Gregory Frost-Arnold and P. D. Magnus 7. Scientific Representation and the Semiotics of Pictures 131 Laura Perini 8. (...) Philosophy of the Environmental Sciences 155 Jay Odenbaugh 9. Value Judgements and the Estimation of Uncertainty in Climate Modeling 172 Justin Biddle and Eric Winsberg 10. Feminist Standpoint Empiricism: Rethinking the Terrain in Feminist Philosophy of Science 198 Kristen Intemann 11. Naturalism and the Enlightenment Ideal: Rethinking a Central Debate in the Philosophy of Social Science 226 Daniel Steel 12. New Approaches to the Division of Cognitive Labor 250 Michael Weisberg. (shrink)

We show that the set of ultimately true sentences in Hartry Field's Revenge-immune solution model to the semantic paradoxes is recursively isomorphic to the set of stably true sentences obtained in Hans Herzberger's revision sequence starting from the null hypothesis. We further remark that this shows that a substantial subsystem of second-order number theory is needed to establish the semantic values of sentences in Field's relative consistency proof of his theory over the ground model of the standard natural numbers: -CA0 (...) (second-order number theory with a -comprehension axiom scheme) is insufficient. We briefly consider his claim to have produced a solution to the semantic paradoxes by introducing this conditional. We remark that the notion of a operator can be introduced in other settings. (shrink)

We consider various concepts associated with the revision theory of truth of Gupta and Belnap. We categorize the notions definable using their theory of circular definitions as those notions universally definable over the next stable set. We give a simplified account of varied revision sequences-as a generalised algorithmic theory of truth. This enables something of a unification with the Kripkean theory of truth using supervaluation schemes.

We analyse the extent of possible computations following Hogarth ([2004]) conducted in Malament–Hogarth (MH) spacetimes, and Etesi and Németi ([2002]) in the special subclass containing rotating Kerr black holes. Hogarth ([1994]) had shown that any arithmetic statement could be resolved in a suitable MH spacetime. Etesi and Németi ([2002]) had shown that some relations on natural numbers that are neither universal nor co-universal, can be decided in Kerr spacetimes, and had asked specifically as to the extent of computational limits there. (...) The purpose of this note is to address this question, and further show that MH spacetimes can compute far beyond the arithmetic: effectively Borel statements (so hyperarithmetic in second-order number theory, or the structure of analysis) can likewise be resolved: Theorem A. If H is any hyperarithmetic predicate on integers, then there is an MH spacetime in which any query ? n H ? can be computed. In one sense this is best possible, as there is an upper bound to computational ability in any spacetime, which is thus a universal constant of that spacetime. Theorem C. Assuming the (modest and standard) requirement that spacetime manifolds be paracompact and Hausdorff, for any spacetime there will be a countable ordinal upper bound, , on the complexity of questions in the Borel hierarchy computable in it. Introduction 1.1 History and preliminaries Hyperarithmetic Computations in MH Spacetimes 2.1 Generalising SADn regions 2.2 The complexity of questions decidable in Kerr spacetimes An Upper Bound on Computational Complexity for Each Spacetime CiteULike Connotea Del.icio.us What's this? (shrink)

The Alagadd?pama Sutta is the 22nd discourse of the Majjhima-nik?ya of the Pali canon. In the sutta itself it is mentioned that the Buddha’s delivery of this discourse was necessitated by the need to refute a wrong view held by one of his disciples named Ari??ha. Parallel versions of the sutta are found preserved in the Chinese?gamas. The two main similes used in the sutta, those of the snake and of the raft, are referred to in the scriptures of a (...) number of non-Therav?da Buddhist traditions as well, showing that the Buddhist doctrine represented in it is early and authentic and the message contained in the sutta was considered to be extremely significant by many early Buddhist traditions. The Alagadd?pama Sutta shows the Buddha’s role as one of the earliest thinkers in the history of philosophy who engaged in a critique of the craving for metaphysics and dogma frequently exhibited in those who propound worldviews. The Buddha did not value a belief or a worldview on grounds of the logical skill with which it was constructed but on grounds of the transformative effect it could have on the character of an individual and the sense of wellbeing it could promote. There are several discourses of the Pali canon which give prominence to this aspect of the Buddha’s teaching. Among them the Brahmaj?la Sutta of the D?gha-nik?ya and the A??hakavagga of the Suttanip?ta need special mention. The Buddha is seen to have consistently avoided engagement in speculative metaphysics, pointing out that the goal of his teaching goes beyond all such engagement. The Buddha himself distinguished his own worldview as a Teaching in the Middle avoiding the common tendency of humankind to be trapped by either of the two extremes, Eternalism or Annihilationism. These distinctive standpoints of the Buddha are all seen to be amply represented in the Alagadd?pama Sutta. (shrink)

There is a history of thinking that photographs provide a special kind of access to the objects depicted in them, beyond the access that would be provided by a painting or drawing. What is included in the photograph does not depend on the photographer’s beliefs about what is in front of the camera. This feature leads Kendall Walton to argue that photographs literally allow us to see the objects which appear in them. Current generative algorithms produce images in response to (...) users’ text prompts. Depending on the parameters, the output can resemble specific people or things which are named in the prompt. This resemblance does not depend on the user’s beliefs, so generated images are in this sense like photographs. Given this parallel, how should we think about AI-generated images? (shrink)

A discussion and qualified defense of Philip Kitcher on scientific significance and ‘well-ordered science.’ (Qualified because I argue that Kitcher’s position is made unstable by his reliance on the largely unanalyzed notion of natural curiosity.).

Wissenschaft mit Unterschieden: Parodie und Paradies in Margaret Cavendishs The Blazing World (1666). Mit ihrer utopischen Erzählung The Blazing World (1666) ist Margaret Cavendish, Duchess of Newcastle, eine der wenigen Autorinnen der Frühen Neuzeit, die sich sowohl im Feld der Literatur als auch der Naturphilosophie betätigten. Auf den ersten Blick scheint die Welt jenseits des Nordpols, in die die Protagonistin nach gewaltsamer Entführung und Schiffbruch gerät, ein weibliches Wissenschaftsparadies: Nach eilig erfolgter Vermählung mit dem Kaiser regiert sie eigenverantwortlich über die (...) wissenschaftlichen Institutionen ihres Reichs und debattiert mit Bären‐, Vogel‐, Wurmmännern und ähnlichen Hybridwesen über die neuesten wissenschaftlichen Errungenschaften. Bald schon stellt sich jedoch heraus, dass ihre „Wissenschaftler“ denjenigen der englischen Realität sowohl in ihrer blinden Begeisterung für neue Forschungsinstrumente wie in ihrem ermüdenden Austausch von Meinungen und Glaubenssätzen durchaus ähnlich sind. Unterstützung für ihre Kritik und für eigene Forschungs‐ und Schreibprojekte findet die Protagonistin in der Autorin selbst, der Duchess of Newcastle, in deren Welten sich die beiden gemeinsam begeben. Parodie und Satire, die auf zeitgenössische Modetorheiten im Umfeld der Royal Society abzielen, stehen im Fokus des vorliegenden Aufsatzes ebenso wie utopische Perspektiven, die durch die Eröffnung neuer Denkräume entstehen. Auf dem von ironisch kommentierten Fetischen und Hybriderscheinungen gepflasterten Weg dorthin bewegt sich die Erzählung zwischen Realität und Virtualität, Fakten und Fiktionen, kritisiert epistemologische und institutionelle Vorgaben und testet die Grenzen der Geschlechter im neu entstehenden Feld von Wissenschaft und Literatur. Summary: Science With a Difference: Parody and Paradise in Margaret Cavendish's The Blazing World (1666). Margaret Cavendish's The Blazing World (1666) is one of the very few utopian accounts by women in the early modern period. At first sight, the world beyond the North Pole that Cavendish's beautiful heroine enters after surviving abduction and shipwreck seems to offer the utmost in terms of early modern feminine scientific utopias: after the shortest love story in history, the heroine becomes Empress and is given a whole Empire to govern at her pleasure. But soon it turns out that the hybrid creatures of her newly founded scientific communities, bear‐men, bird‐men, worm‐men, and the like are far from utopian truth‐seeking, but, like their earthly counterparts, all too often revel in tedious meaning and believing. The paper will focus on such parodic moments as well as on alternative modes of dealing with science more adequate to the term Paradise. Only with the support of her this‐worldly friend, the Duchess of Newcastle, who also happens to be the author of the story, the Empress can not only improve her utopian state, but also the state of affairs in the real world. On the way, the boundaries between fact and fiction, real and virtual, masculine and feminine, sense and nonsense are continuously tested – reflecting and commenting on early modern fear and fascination of the unknown and the promises of science and technology. (shrink)

William James’ argument against William Clifford in The Will to Believe is often understood in terms of doxastic efficacy, the power of belief to influence an outcome. Although that is one strand of James’ argument, there is another which is driven by ampliative risk. The second strand of James’ argument, when applied to scientific cases, is tantamount to what is now called the Argument from Inductive Risk. Either strand of James’ argument is sufficient to rebut Clifford's strong evidentialism and show (...) that it is sometimes permissible to believe in the absence of compelling evidence. However, the two considerations have different scope and force. Doxastic efficacy applies in only some cases but allows any values to play a role in determining belief; risk applies in all cases but only allows particular conditional values to play a role. (shrink)

According to the standard narrative, natural kind is a technical notion that was introduced by John Stuart Mill in the 1840s and the recent craze for natural kinds, launched by Putnam and Kripke, is a continuation of that tradition. I argue that the standard narrative is mistaken. The Millian tradition of kinds was not particularly influential in the 20th-century, and the Putnam-Kripke revolution did not clearly engage with even the remnants that were left of it. The presently active tradition of (...) natural kinds is less than half a century old. Recognizing this might help us better appreciate both Mill and natural kinds. (shrink)

Reflection Principles are commonly thought to produce only strong axioms of infinity consistent with V = L. It would be desirable to have some notion of strong reflection to remedy this, and we have proposed Global Reflection Principles based on a somewhat Cantorian view of the universe. Such principles justify the kind of cardinals needed for, inter alia , Woodin’s Ω-Logic.

We represent truth sets for a variety of the well known semantic theories of truth as those sets consisting of all sentences for which a player has a winning strategy in an infinite two person game. The classifications of the games considered here are simple, those over the natural model of arithmetic being all within the arithmetical class of $\Sum_{3}^{0}$.

Many enhancement technologies are distributed by healthcare professionals—by physicians—who are held to the Hippocratic Oath and the goals of medicine. While the ethics of enhancement has been widely discussed with regard to the social justice, humanism, morals and normative values of these interventions, their place in medicine has not attracted a great deal of attention. This paper investigates the potential for enhancement technologies to fulfil the goals of medicine, arguing that they play a role in promoting the health of individuals, (...) and thus, an unavoidable place in medicine. It also warns of potential dangers, suggesting a set of guidelines to initiate conversations regarding the role and responsibilities of physicians practising in an era of enhancement. (shrink)

We consider a question of Pereira as to whether the characteristic function of an internally approachable model can lead to free subsets for functions of the model. Pereira isolated the pertinent Approachable Free Subsets Property (AFSP) in his work on the $${\text {pcf}}$$ pcf -conjecture. A recent related property is the Approachable Bounded Subset Property (ABSP) of Ben-Neria and Adolf, and we here directly show it requires modest large cardinals to establish:TheoremIf ABSP holds for an ascending sequence $$ \langle \aleph (...) _{n_{m}} \rangle _{m}$$ ⟨ ℵ n m ⟩ m $$( n_{m} \in \omega )$$ ( n m ∈ ω ) then there is an inner model with measurables $$\kappa < \aleph _{\omega }$$ κ < ℵ ω of arbitrarily large Mitchell order below $$\aleph _{\omega }$$ ℵ ω, that is: $$\sup \left\{ \alpha \mid {\exists }\kappa < \aleph _{\omega } o ( \kappa ) \ge \alpha \right\} = \aleph _{\omega }$$ sup α ∣ ∃ κ < ℵ ω o ( κ ) ≥ α = ℵ ω. A result of Adolf and Ben Neria then shows that this conclusion is in fact the exact consistency strength of ABSP for such an ascending sequence. Their result went via the consistency of the non-existence of continuous tree-like scales; the result of this paper is direct and avoids the use of PCF scales. (shrink)

The Argument from Inductive Risk (AIR) is taken to show that values are inevitably involved in making judgements or forming beliefs. After reviewing this conclusion, I pose cases which are prima facie counterexamples: the unreflective application of conventions, use of black-boxed instruments, reliance on opaque algorithms, and unskilled observation reports. These cases are counterexamples to the AIR posed in ethical terms as a matter of personal values. Nevertheless, it need not be understood in those terms. The values which load a (...) theory choice may be those of institutions or past actors. This means that the challenge of responsibly handling inductive risk is not merely an ethical issue, but is also social, political, and historical. (shrink)

A critical note on Christopher Bartel and Jack M. C. Kwong, ‘Pluralism, Eliminativism, and the Definition of Art’, Estetika 58 (2021): 100–113. Art pluralism is the view that there is no single, correct account of what art is. Instead, art is understood through a plurality of art concepts and with considerations that are different for particular arts. Although avowed pluralists have retained the word ‘art’ in their discussions, it is natural to ask whether the considerations that motivate pluralism should lead (...) us to abandon art talk altogether; that is, should pluralism lead to eliminativism? This paper addresses arguments both for and against this move. We ultimately argue that pluralism allows one to retain the word ‘art’, if one wants it, but only in a loose, conversational sense. The upshot of pluralism is that talk of art in general cannot be asked to do theoretical and philosophical work. (shrink)

Name der Zeitschrift: Deutsche Zeitschrift für Philosophie Jahrgang: 63 Heft: 3 Seiten: 584-589.

Threshold- and signal-detection-based models have dominated theorizing about recognition memory. Building upon these theoretical frameworks, we have argued for a dual-process model in which conscious recollection and familiarity contribute to memory performance. In the current paper we assessed several memory models by examining the effects of levels of processing and the number of presentations on recognition memory receiver operating characteristics . In general, when the ROCs were plotted in probability space they exhibited an inverted U shape; however, when they were (...) plotted inzspace they exhibited a U shape. An examination of the ROCs showed that the dual-process model could account for the observed ROCs, but that models based solely on either threshold or signal-detection processes failed to provide a sufficient account of the data. Furthermore, an examination of subjects' introspective reports using the remember/know procedure showed that subjects were aware of recollection and familiarity and were able to consistently report on their occurrence. The remember/know data were used to accurately predict the shapes of the ROCs, and estimates of recollection and familiarity derived from the ROC data mirrored the subjective reports of these processes. (shrink)

Philosophy of science in the past half century can be seen as a reaction against logical empiricism's focus on modern logic as the format in which debates should be expressed and on physics as the canonical science. These reactions have resulted in a fragmentation of the field. Although this provides ways forward for disparate philosophies of various sciences, it threatens the very possibility of general philosophy of science. The debate that most obviously continues to be conducted at the general level—the (...) debate about scientific realism—only does so because of a dangerous naïveté. Nevertheless, this article suggests that there is a place for general work not by starting at the highest level of abstraction but instead by abstracting general lessons from actual science. (shrink)

We show that Leitgeb’s dependence operator of Leitgeb is a \-operator and that this is best possible.

Suppose a computer prints out the following little "poem": The shooting of the hunters she heardBut to pity it moved her not. What can we say about the meaning of this "poem"? We can say that it is ambiguous. It could mean: She heard the hunters shooting at animals, people, etc., but she had no pity for the victims. . . . She heard the hunters being shot but did not pity them. . . . She heard the hunters shooting (...) at someone or something and she heard the hunters being shot but did not pity either. An author could use the above word sequence to convey either , , or . But since we cannot treat the text produced by the computer as anyone's use of the words in question, it would not make sense to decide among its linguistically possible readings, just as it would not make sense to choose among the linguistically possible readings of an ambiguous sentence if it is considered in abstraction from its use by a speaker on a particular occasion. For example, it would not make sense to say of the sentence "He saw the man carrying the suitcase" that it just means "He saw the man who is carrying the suitcase" if we know that and in which what ways the sentence is ambiguous. If someone did say this, we would be inclined to think either that he does not know that the sentence is ambiguous or that he is talking not about the sentence but about an utterance of that sentence by a speaker on some occasion. Hence all we can do in interpreting the computer "poem" is to specify the set of its linguistically possible readings, namely, {, , }. But it would not make sense to select , for example, and say, "That is what the computer poem means, not , nor ." P. D. Juhl is an assistant professor of German at Princeton University. The present essay, in a different form, will appear in his forthcoming book, The Nature of Literary Interpretation. See also: "Against Theory" by Steven Knapp and Walter Benn Michaels in Vol. 8, No. 4. (shrink)

A small large cardinal upper bound in V for proving when certain subsets of ω 1 (including the universally Baire subsets) are precisely those constructible from a real is given. In the core model we find an exact equivalence in terms of the length of the mouse order; we show that $\forall B \subseteq \omega_1 \lbrack B$ is universally Baire $\Leftrightarrow B \in L\lbrack r \rbrack$ for some real r] is preserved under set-sized forcing extensions if and only if there (...) are arbitrarily large "admissibly measurable" cardinals. (shrink)

Part of a book symposium on Anjan Chakravartty's Scientific ontology: integrating naturalized metaphysics and voluntarist epistemology (Oxford University Press, 2017).

The problem of the logic of understanding history is discussed. We propose a model of understanding history as a conversation, which the person thinking about history has with interlocutors (sources) of previous epochs. The epoch is interpreted as a special way of problematizing human's understanding of him (her) self and the world around. At the same time, three gifts — attention, recognition and name — underlie the connection of the historian in conversation with interlocutors (sources) from other eras. They are (...) not given in advance but are results of a struggle for the recognition. In choosing his (her) interlocutor (source), the historian chooses him (her) self. By giving this interlocutor (the source) the opportunity to be heard, the historian, at the same time, receives a gift from the source — the opportunity to express what would otherwise remain unspoken in the historian's own mind. The logic of conversation, designated as transduction, is not the connection through the identification of the beginning and the end of the discourse, which is appropriate and necessary within the speech of each of the conversationalists, but the connection of the beginnings of these discordant discourses among themselves. (shrink)

This discussion note addresses Caleb Hazelwood’s ‘Practice-Centered Pluralism and a Disjunctive Theory of Art’. Hazelwood advances a disjunctive definition of art on the basis of an analogy with species concept pluralism in the philosophy of biology. We recognize the analogy between species and art, we applaud attention to practice, and we are bullish on pluralism—but it is a mistake to take these as the basis for a disjunctive definition.

Homeostatic property clusters (HPCs) are offered as a way of understanding natural kinds, especially biological species. I review the HPC approach and then discuss an objection by Ereshefsky and Matthen, to the effect that an HPC qua cluster seems ill-fitted as a description of a polymorphic species. The standard response by champions of the HPC approach is to say that all members of a polymorphic species have things in common, namely dispositions or conditional properties. I argue that this response fails. (...) Instances of an HPC kind need not all be similar in their exhibited properties. Instead, HPCs should instead be understood as unified by the underlying causal mechanism that maintains them. The causal mechanism can both produce and explain some systematic differences between a kind’s members. An HPC kind is best understood not as a single cluster of properties maintained in stasis by causal forces, but as a complex of related property clusters kept in relation by an underlying causal process. This approach requires recognizing that taxonomic systems serve both explanatory and inductive purposes. (shrink)

We give limits defined in terms of abstract pointclasses of the amount of determinacy available in certain canonical inner models involving strong cardinals. We show for example: Theorem A. $\mathrm{D}\mathrm{e}\mathrm{t}\text{\hspace{0.17em}}({\mathrm{\Pi }}_{1}^{1}-\mathrm{I}\mathrm{N}\mathrm{D})$ ⇒ there exists an inner model with a strong cardinal. Theorem B. Det(AQI) ⇒ there exist type-1 mice and hence inner models with proper classes of strong cardinals. where ${\mathrm{\Pi }}_{1}^{1}-\mathrm{I}\mathrm{N}\mathrm{D}\phantom{\rule{0ex}{0ex}}$ (AQI) is the pointclass of boldface ${\mathrm{\Pi }}_{1}^{1}$ -inductive (respectively arithmetically quasi-inductive) sets of reals.

Medical ethics is that branch of applied philosophy which considers issues of values raised by medical practice, and should not be equated with 'principlism'. Clarification of facts/values distinctions is an important part of this work. The notion that medical philosophy can flourish in the hands of medical 'generalists' without specialist philosophers, is misguided. Both must work together to promote right reason and right action in medical education and practice.

Cover songs are a familiar feature of contemporary popular music. Musicians describe their own performances as covers, and audiences use the category to organize their listening and appreciation. However, until now philosophers have not had much to say about them. This book explores how to think about covers, appreciating covers, and the metaphysics of covers and songs. Along the way, it explores a range of issues raised by covers, from the question of what precisely constitutes a cover, to the history (...) and taxonomy of the category, the various relationships that hold between songs, performances, and tracks, and the appreciation and evaluation of covers. (shrink)

Consider the concept combination ‘pet human’. In word association experiments, human subjects produce the associate ‘slave’ in relation to this combination. The striking aspect of this associate is that it is not produced as an associate of ‘pet’, or ‘human’ in isolation. In other words, the associate ‘slave’ seems to be emergent. Such emergent associations sometimes have a creative character and cognitive science is largely silent about how we produce them. Departing from a dimensional model of human conceptual space, this (...) article will explore concept combinations, and will argue that emergent associations are a result of abductive reasoning within conceptual space, that is, below the symbolic level of cognition. A tensor-based approach is used to model concept combinations allowing such combinations to be formalized as interacting quantum systems. Free association norm data is used to motivate the underlying basis of the conceptual space. It is shown by analogy how some concept combinations may behave like quantum-entangled particles. Two methods of analysis were presented for empirically validating the presence of non-separable concept combinations in human cognition. One method is based on quantum theory and another based on comparing a joint probability distribution with another distribution based on a separability assumption using a chi-square goodness-of-fit test. Although these methods were inconclusive in relation to an empirical study of bi-ambiguous concept combinations, avenues for further refinement of these methods are identified. (shrink)

In the axiomatic development of the logic of nonrelativistic quantum mechanics it is not difficult to set down certain plausible axioms which ensure that the quantum logic of propositions has the structure of an orthomodular poset. This can be done in a number of ways, for example, as in Gunson [2], Mackey [4], Piron [5], Varadarajan [7] and Zierler [8], and we summarise one of these ways in §2 below.